Teaching Materials for MSE Education

Teaching freshman logic with Mizar-MSE

Dynamic Teaching Materials for ESSLLI

In the context of the European Network of Excellence in Computational Logic (CoLogNet, http://www.colognet.org/), the European Association for Logic, Language and Computation (FoLLI, http://www.folli.org) has started a project on E-Learning in Computational Logic and the development of Dynamic Teaching Materials for its annual European Summer Schools (ESSLLIs). The project has a double aim: (i)...

A Multiplatform Content Management System for Curators to Provide Teaching Materials in Astronomy Education

Since it is difficult for curators who are not information field specialists to provide teaching materials on the Internet, we built a content management system to support the delivery of teaching materials on the Internet. Specifically, our system, which allows correspondence between various platforms, considers the distribution method of teaching materials in cooperation with an actual planet...

Teaching Materials Repository *

The paper presents results from the development of a methodology and corresponding software tools for building an academic repository. The repository was filled up with gaming material. The repository architecture and key features of the search engine are discussed. The emphasis falls on solutions of the large set of problems concerning the development of proper mechanisms for semantics-based s...

Teaching without Indoctrination: Implications for Values Education Teaching without Indoctrination: Implications for Values Education